2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence)
Автор:
Xiao-Shan Gao
, Автор:
Dongming Wang
, Автор:
Lu Yang
Размер книги: 2.80 Mb
Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
Автор:
Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang
Категория:
Cs_Computer science
,
CsAi_AI
,
knowledge
Размер книги: 3.93 Mb
Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
Автор:
Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang
Категория:
Cs_Computer science
,
CsAi_AI
,
knowledge
Размер книги: 6.60 Mb
Machine proofs in geometry : automated production of readable proofs for geometry theorems
Автор:
Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang
Размер книги: 8.32 Mb
Computer mathematics : proceedings of the Fourth Asian Symposium (ASCM 2000)
Автор:
Xiao-Shan Gao; Dongming Wang (eds.)
Размер книги: 14.30 Mb
Mathematical Software: Proceedings of the First International Congress of Mathematical Software Beijing, China 17-19 August 2002
Автор:
Arjeh M. Cohen
, Автор:
Nobuki Takayama
, Автор:
International Congress of Mathematical S
, Автор:
Xiao-Shan Gao
, Автор:
Xiaoshan Gao
Категория:
Algorithms
Размер книги: 3.87 Mb
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Автор:
Xiao-Shan Gao
, Автор:
Dongming Wang
, Автор:
Lu Yang
Размер книги: 3.32 Mb
